saturation logic

饱和逻辑